募捐 9月15日2024 – 10月1日2024 关于筹款
1
Kurt Godel: Collected Works: Volume IV

Kurt Godel: Collected Works: Volume IV

年:
2013
语言:
english
文件:
PDF, 29.59 MB
5.0 / 3.0
english, 2013
3
Kurt Godel: Collected Works: Volume V

Kurt Godel: Collected Works: Volume V

年:
2013
语言:
english
文件:
PDF, 27.49 MB
5.0 / 3.0
english, 2013
4
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

年:
2008
语言:
english
文件:
PDF, 4.42 MB
0 / 0
english, 2008
8
Kurt Gödel: Essays for his Centennial

Kurt Gödel: Essays for his Centennial

年:
2010
语言:
english
文件:
PDF, 1.48 MB
0 / 0
english, 2010
9
In the Light of Logic

In the Light of Logic

年:
1998
语言:
english
文件:
PDF, 20.89 MB
0 / 0
english, 1998
10
The number systems: Foundations of algebra and analysis

The number systems: Foundations of algebra and analysis

年:
1964
语言:
english
文件:
PDF, 22.29 MB
0 / 0
english, 1964
12
The Number Systems: foundations of algebra and analysis

The Number Systems: foundations of algebra and analysis

年:
1964
语言:
english
文件:
DJVU, 44.36 MB
0 / 0
english, 1964
13
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

年:
2008
语言:
english
文件:
PDF, 6.22 MB
0 / 0
english, 2008
14
From Trotsky to Gödel: The Life of Jean van Heijenoort

From Trotsky to Gödel: The Life of Jean van Heijenoort

年:
2000
语言:
english
文件:
PDF, 43.68 MB
0 / 0
english, 2000
15
Model-Theoretic Logics

Model-Theoretic Logics

年:
2017
语言:
english
文件:
PDF, 44.17 MB
0 / 0
english, 2017
16
Politics, Logic, and Love : The Life of Jean van Heijenoort

Politics, Logic, and Love : The Life of Jean van Heijenoort

年:
1994
语言:
english
文件:
PDF, 29.26 MB
0 / 0
english, 1994
17
Beyond the Pale: The Holocaust in the North Caucasus

Beyond the Pale: The Holocaust in the North Caucasus

年:
2020
语言:
english
文件:
PDF, 3.63 MB
0 / 0
english, 2020
20
Model-theoretic logics

Model-theoretic logics

年:
1985
语言:
english
文件:
PDF, 21.35 MB
0 / 0
english, 1985
21
Model-theoretic logics

Model-theoretic logics

年:
1985
语言:
english
文件:
DJVU, 7.46 MB
0 / 0
english, 1985
24
Collected Works. Vol. 4. Correspondence A-G

Collected Works. Vol. 4. Correspondence A-G

年:
2003
语言:
english
文件:
DJVU, 5.42 MB
0 / 0
english, 2003
26
The number systems_ Foundations of algebra and analysis

The number systems_ Foundations of algebra and analysis

语言:
english
文件:
PDF, 23.00 MB
0 / 0
english
28
Are There Absolutely Unsolvable Problems - Godel's Dichotomy

Are There Absolutely Unsolvable Problems - Godel's Dichotomy

语言:
english
文件:
PDF, 113 KB
0 / 0
english
29
Alfred Tarski: Life and Logic

Alfred Tarski: Life and Logic

年:
2008
语言:
english
文件:
DJVU, 5.45 MB
0 / 0
english, 2008
30
Collected Works. Vol. 5. Correspondence H-Z

Collected Works. Vol. 5. Correspondence H-Z

年:
2003
语言:
english
文件:
DJVU, 5.28 MB
0 / 0
english, 2003
31
In the Light of Logic

In the Light of Logic

年:
1998
语言:
english
文件:
DJVU, 3.99 MB
0 / 0
english, 1998
32
Banda Larga no Brasil : passado, presente e futuro

Banda Larga no Brasil : passado, presente e futuro

年:
2016
语言:
portuguese
文件:
MOBI , 6.43 MB
0 / 0
portuguese, 2016
33
Model-Theoretic Logics

Model-Theoretic Logics

年:
1985
语言:
english
文件:
DJVU, 7.44 MB
0 / 0
english, 1985
34
In the Light of Logic

In the Light of Logic

年:
1998
语言:
english
文件:
DJVU, 5.98 MB
0 / 0
english, 1998
35
Alfred Tarski

Alfred Tarski

年:
2004
语言:
english
文件:
DJVU, 5.22 MB
0 / 5.0
english, 2004
37
Collected Works, Vol. II: Publications 1938-1974 (Oxford, 1990)

Collected Works, Vol. II: Publications 1938-1974 (Oxford, 1990)

年:
2023
文件:
PDF, 20.10 MB
5.0 / 4.0
2023
41
“If we had wings we would fly to you”: A Soviet Jewish Family Faces Destruction, 1941–42

“If we had wings we would fly to you”: A Soviet Jewish Family Faces Destruction, 1941–42

年:
2020
语言:
english
文件:
PDF, 9.35 MB
0 / 0
english, 2020
42
The Number Systems: Foundations of Algebra and Analysis

The Number Systems: Foundations of Algebra and Analysis

年:
2005
语言:
english
文件:
PDF, 32.80 MB
0 / 5.0
english, 2005
43
Microsoft Word - Tarski at CÉ

Microsoft Word - Tarski at CÉ

文件:
PDF, 52 KB
0 / 0
44
Mathematical Logic

Mathematical Logic

年:
2001
语言:
english
文件:
PDF, 10.22 MB
5.0 / 0
english, 2001
46
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

年:
1981
语言:
english
文件:
DJVU, 2.62 MB
0 / 0
english, 1981
49
Iterated Inductive Definitions and Subsystems of Analysis

Iterated Inductive Definitions and Subsystems of Analysis

年:
1981
语言:
english
文件:
DJVU, 2.47 MB
0 / 0
english, 1981
50
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

年:
1981
语言:
english
文件:
PDF, 11.87 MB
0 / 0
english, 1981